Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
711	Lowness Properties and Approximations of the Jump Santiago Figueira ∗ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2007-07-08 19:58:00 Theoretical computer science Mathematical logic Theory of computation Recursion Primitive recursive function Function Μ operator Fixed-point combinator Mathematics Computability theory Functions and mappings
712	STATHIS PSILLOS THINKING ABOUT THE ULTIMATE ARGUMENT FOR REALISM 1. INTRODUCTION Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2006-12-20 02:43:18 Reasoning Epistemology Deduction Logical consequence Arguments Deductive reasoning Models of scientific inquiry Inductive reasoning Inference Logic Science Knowledge
713	A Logic-Gated Nanorobot for Targeted Transport of Molecular Payloads Shawn M. Douglas, et al. Science 335, ); DOI: science Add to Reading List Source URL: arep.med.harvard.edu Language: English - Date: 2012-02-17 04:53:15 Nanorobotics Human leukocyte antigen Antibody HLA-A Antigen Aptamer T helper cell Immune system Biology Anatomy
714	Philosophy, logic, science, history1 Tim Crane ABSTRACT Analytic philosophy is sometimes said to have particularly close connections to logic Add to Reading List Source URL: www.timcrane.com Language: English - Date: 2014-08-30 15:01:32 Philosophy of mathematics Branches of philosophy Philosophical logic Analytic philosophy Continental philosophy Logic Immanuel Kant Martin Heidegger Gottlob Frege Philosophy Philosophical movements Contemporary philosophy
715	Procrastination in probabilistic logic Benja Fallenstein Background: Reflection in probabilistic logic Christiano et al. [?] have proposed a way of working around Tarski’s undefinability of truth by assigning probabili Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-05-19 14:38:20 Peano axioms Logic Philosophy of mathematics Mathematics Logic in computer science Mathematical logic
716	1 ABDUCTION: BETWEEN CONCEPTUAL RICHNESS AND COMPUTATIONAL COMPLEXITY Stathis Psillos Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2011-12-02 03:22:10 Philosophy of science Reasoning Epistemology Critical thinking Scientific method Abductive reasoning Inductive reasoning Inquiry Deductive-nomological model Science Logic Knowledge
717	An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email: Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Mathematical logic Theoretical computer science Tree automaton Tree Linear temporal logic First-order logic Finite-state machine Context-free grammar T-tree Automata theory Mathematics Formal languages
718	A Comparison of Succinctly Represented Finite-state Systems ⋆ Romain Brenguier1 , Stefan G¨oller2 , and Ocan Sankur1 1 2 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2012-09-12 07:18:02 Logic in computer science Model theory Mathematics Automata theory Computer science Theoretical computer science Applied mathematics Bisimulation
719	STEM APPLICATIONS of NATURAL SELECTION Here are some items that provide great STEM "hooks": using genetics and cumulative natural selecti Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2013-07-30 13:55:01 Mathematics Algorithm Mathematical logic Theoretical computer science Evolutionary algorithms Mathematical optimization Complexity Genetic algorithm Science Applied mathematics Operations research
720	On the periods of some graph transformations A. M. Odlyzko AT&T Bell Laboratories Murray Hill, NJD. J. Randall AT&T Bell Laboratories Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 1998-04-13 22:13:34 Lambda calculus Logic in computer science Holomorphic functional calculus Itō diffusion Mathematical analysis Mathematics Combinatory logic

UPDATE